Merge branch 'frame-profiling' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 16 May 2019 20:31:46 +0000 (20:31 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 16 May 2019 20:31:46 +0000 (20:31 +0000)
always record a frame end time when profiling

See merge request GNOME/gtk!850


Trivial merge